机译:具有对数界的双线性Bogolyubov-Ruzsa引理
机译:Farkas-Minkowski的引理和引理以及Stiemke的引理在空间l 1 sup>中的扩展
机译:基于KKMS LEMMA的Shapley-Sperner的LEMMA直接证明
机译:抽引引理和Ogden引理用于位移上下文无关文法
机译:自动引理生成和用于重写归纳的多上下文方案
机译:同源基因长不育外lem(G1)指定水稻小穗中的不育外identity身份
机译:弱Lipschitz域中的混合边界条件的全局Div-Curl-Lemma和相应的广义A 0 * Mathrm {A} _ {0} ^ {*} - a 1 mathrm {a} _ {1} -lemma希尔伯特空间